Backus–Naur Form

Results: 53



#Item
11Videotelephony / Information / Formal languages / Session Initiation Protocol / Data transmission / Parsing / Backus–Naur Form / SIMPLE / SIP / Computing / Compiler construction / Data

A Language-Based Approach for Improving the Robustness of Network Application Protocol Implementations Laurent Burgy Laurent R´eveill`ere

Add to Reading List

Source URL: pagesperso-systeme.lip6.fr

Language: English - Date: 2011-12-17 11:26:20
12PARAM / Computing / Delimiter / Pattern matching

B. BNF for Joule Syntax This chapter presents, in Backus-Naur form, a grammar for the Joule language forms and expression syntax. Lexical conventions will appear in a later version of this Appendix.

Add to Reading List

Source URL: erights.org

Language: English - Date: 2004-12-04 19:43:48
13Software engineering / Compiler construction / Extended Backus–Naur Form / Mathematical notation / Universal Character Set / Z notation / SQL / Metalanguage / International Organization for Standardization / Computing / Notation / Standards organizations

Formal Specification— Z Notation— Syntax, Type and Semantics Consensus Working Draft 2.6 August 24, 2000

Add to Reading List

Source URL: www.open-std.org

Language: English - Date: 2000-11-02 18:08:54
14Semantic Web / Computing / Language / URI schemes / Compiler construction / Extended Backus–Naur Form / Syntax / Uniform resource identifier / Cross-site request forgery / Formal languages / Grammar / Linguistics

Application Boundaries Enforcer (ABE) NoScript Module Rules Syntax And Capabilities Version 0.3 – Author: Giorgio Maone –

Add to Reading List

Source URL: hackademix.net

Language: English - Date: 2008-12-19 19:02:59
15Procedural programming languages / Functional languages / Standard ML / Type safety / Library / Make / ML / Extended Backus–Naur Form / Modular programming / Computing / Software engineering / Computer programming

CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume

Add to Reading List

Source URL: www.smlnj.org

Language: English - Date: 2006-11-07 10:53:07
16Internet protocols / Internet standards / IPv6 / Multicast / IP multicast / Internet Engineering Task Force / Augmented Backus–Naur Form / Session Description Protocol / Internet / Computing / Network architecture

Session Description Protocol draft-ietf-mmusic-sdp-new-03.txt

Add to Reading List

Source URL: www.dmn.tzi.org

Language: English - Date: 2002-06-26 14:36:24
17PARAM / Computing / Delimiter / Pattern matching

B. BNF for Joule Syntax This chapter presents, in Backus-Naur form, a grammar for the Joule language forms and expression syntax. Lexical conventions will appear in a later version of this Appendix.

Add to Reading List

Source URL: www.erights.org

Language: English - Date: 2004-12-04 19:43:48
18Software engineering / Computing / Parsing / Parser generators / Coco/R / Recursive descent parser / LL parser / Compiler-compiler / Extended Backus–Naur Form / Programming language implementation / Compiler construction / Formal languages

3 Coco/R – A Generator for Fast Compiler Front-Ends H. Mössenböck, ETH Zürich Technical Report Abstract

Add to Reading List

Source URL: www.scifac.ru.ac.za

Language: English - Date: 2004-08-12 06:43:24
19Computer programming / Software engineering / Backus–Naur Form / Internet Standard / Request for Comments / HTML element / String / SQL / Comment / Formal languages / Computing / Augmented Backus–Naur Form

Network Working Group Request for Comments: 4234 Obsoletes: 2234 Category: Standards Track D. Crocker, Ed.

Add to Reading List

Source URL: www.rfc-editor.org

Language: English - Date: 2005-10-03 15:30:52
20Notation / Linguistics / Backus–Naur Form / Internet Standard / Request for Comments / HTML element / UTF-8 / String / Extended Backus–Naur Form / Formal languages / Augmented Backus–Naur Form / Computing

Network Working Group Request for Comments: 5234 STD: 68 Obsoletes: 4234 Category: Standards Track

Add to Reading List

Source URL: www.rfc-editor.org

Language: English - Date: 2008-01-31 20:21:09
UPDATE